2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Variations on Constants: Flow Analysis of Sequential and Parallel Programs (Lecture Notes in Computer Science Programming and Software Engineering)
Автор:
Markus Müller-Olm
Категория:
Компьютеры
Размер книги: 1.74 Mb
Neurologie und Psychiatrie für Studium und Praxis 2009 10: Unter Berücksichtigung des Gegenstandskataloges und der mündlichen Examina in den Ärztlichen Prüfungen
Автор:
Christiane Gleixner
, Автор:
Markus Müller
, Автор:
Steffen Wirth
Размер книги: 47.81 Mb
Clinical Pharmacology: Current Topics and Case Studies
Автор:
Markus Müller
Размер книги: 45.60 Mb
Wirtschaftspolitik kompakt
Автор:
Markus M. Müller
, Автор:
Roland Sturm
Размер книги: 3.23 Mb
High Performance Computing in Science and Engineering, Garching Munich 2009: Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8–9, 2009, Leibniz Supercomputing Centre, Garching Munich, Germany
Автор:
Siegfried Wagner
, Автор:
Matthias Steinmetz
, Автор:
Arndt Bode
, Автор:
Markus Michael Müller
Размер книги: 33.04 Mb
From COBOL to OOP
Автор:
Markus Knasmüller
Размер книги: 2.55 Mb
Verification, Model Checking, and Abstract Interpretation, 10 conf., VMCAI 2009
Автор:
Neil D. Jones
, Автор:
Markus Müller-Olm
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.93 Mb
Modular Compiler Verification - A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Автор:
Markus Müller-Olm
Категория:
CsLn_
Размер книги: 1.74 Mb
Variations on Constants: Flow Analysis of Sequential and Parallel Programs
Автор:
Markus Müller-Olm
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 1.12 Mb
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues)
Автор:
Neil D. Jones
, Автор:
Markus Müller-Olm
Размер книги: 5.07 Mb
Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers
Автор:
Dieter Hutter
, Автор:
Günter Müller
, Автор:
Werner Stephan
, Автор:
Markus Ullmann
Размер книги: 2.98 Mb
